Isomorphisms of Direct Products of Finite Commutative Groups1
نویسندگان
چکیده
We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1]. First, we show that every finite commutative group which order is composite number is isomorphic to a direct product of finite commutative groups which orders are relatively prime. Next, we describe finite direct products of finite commutative groups.
منابع مشابه
Isomorphisms of Direct Products of Finite Commutative Groups
We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1]. First, we show that every finite commutative group which order is composite number is isomorphic to a direct product of finite commutative groups which orders are relatively prime. Next, we describe finit...
متن کاملRestricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملIsomorphisms of Direct Products of Cyclic Groups of Prime Power Order
In this paper we formalized some theorems concerning the cyclic groups of prime power order. We formalize that every commutative cyclic group of prime power order is isomorphic to a direct product of family of cyclic groups [1], [18]. Let G be a finite group. The functor Ordset(G) yielding a subset of N is defined by the term (Def. 1) the set of all ord(a) where a is an element of G. One can ch...
متن کاملEquivalent Expressions of Direct Sum Decomposition of Groups1
In this article, the equivalent expressions of the direct sum decomposition of groups are mainly discussed. In the first section, we formalize the fact that the internal direct sum decomposition can be defined as normal subgroups and some of their properties. In the second section, we formalize an equivalent form of internal direct sum of of commutative groups. In the last section, we formalize...
متن کاملZero-divisor Graphs of Finite Direct Products of Finite Non-commutative Rings and Semigroups
We determine the number of edges of the zero-divisor graph of the direct product of finitely many finite non-commutative rings or semigoups.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013